minios: We do not need to pin the page tables, as they implicitly get
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 27 May 2008 12:03:05 +0000 (13:03 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 27 May 2008 12:03:05 +0000 (13:03 +0100)
commit28d2d07fde59dae1167c11e1391135369cc17787
tree102568e5e81ae0cf21eafc06169f43ff945fb8e1
parent530f24f8b14918387a19ae4a7015734a3c18e4d6
minios: We do not need to pin the page tables, as they implicitly get
pinned when we point the permanent page directory to them.

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
extras/mini-os/arch/x86/mm.c